Wick's theorem